%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Pre-processing                          : 0.093s
%% Hypothesis Space Generation             : 1.439s
%% Conflict analysis                       : 46.496s
%%   - Brave Orders                        : 46.496s
%% Counterexample search                   : 10.488s
%%   - CDOEs                               : 9.069s
%%   - CDPIs                               : 1.415s
%% Hypothesis Search                       : 13613.9s
%% Propagation                             : 118.367s
%%   - CDOEs                               : 118.368s
%% Total                                   : 13792.6s
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
:~ value(pasta,V1).[-V1@4, V1]
:~ value(erbe_spezie_e_condimenti,V1).[-V1@1, V1]
:~ category(1).[-1@5]
:~ value(uova,V1).[-V1@2, V1]
:~ value(verdure_e_ortaggi,V1), category(3).[V1@3, V1]

